Completely Representable Relation Algebras
نویسنده
چکیده
A boolean algebra is shown to be completely representable if and only if it is atomic whereas it is shown that the class of completely representable relation algebras is not elementary.
منابع مشابه
Complete Representations in Algebraic Logic
A boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable cylindric algebras of any xed dimension are elementary.
متن کاملPair-dense Relation Algebras
The central result of this paper is that every pair-dense relation algebra is completely representable. A relation algebra is said to be pair-dense if every nonzero element below the identity contains a \pair". A pair is the relation algebraic analogue of a relation of the form fha; ai ; hb; big (with a = b allowed). In a simple pair-dense relation algebra, every pair is either a \point" (an al...
متن کاملA construction of cylindric and polyadic algebras from atomic relation algebras
Given a simple atomic relation algebra A and a finite n ≥ 3, we construct effectively an atomic n-dimensional polyadic equality-type algebra P such that for any subsignature L of the signature of P that contains the boolean operations and cylindrifications, the L-reduct of P is completely representable if and only if A is completely representable. If A is finite then so is P. It follows that th...
متن کاملStep by Step - Building Representations in Algebraic Logic
We consider the problem of nding and classifying representations in algebraic logic. This is approached by letting two players build a representation using a game. Homogeneous and universal representations are characterised according to the outcome of certain games. The Lyndon conditions deening representable relation algebras (for the nite case) and a similar schema for cylindric algebras are ...
متن کاملA Note on Atom Structures of Relation and Cylindric Algebras
RRA stands for the class of representable relation algebras, while RCAn stands for the class of cylindric algebras of dimension n. We give a simple new proof to the following. 1. There exist two atomic relation algebras with the same atom structure, only one of which is representable. 2. RRA is not closed under completions and is not atom-canonical. 3. There exists a non-representable relation ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logic Journal of the IGPL
دوره 3 شماره
صفحات -
تاریخ انتشار 1995